Refinement for Fault-Tolerance: An Aircraft . . .

ý á) ý ø ý á) á á ø á á $ " & & 1 M K M ï 1 0 8 & ð 8 + , 4 B I : * (! ! 6 6 !. 1 B á í " í á " ø " ý í í ø ø " ø í í ø í á ø á ý ø 0 A K A ï ! 5 5 & 5 ï ð $ 1 ! å $ 1 $ 5 1 0 ü 5 ï ï 5 ï ý $ $ ï $ $ & & $ 1 : ! 1 N 6 %. 6 ! * (I A-9 ' C C L : 9 9 : : ; 9 6-: 3 : 9 ø á ø á ø í à á í á í á " ø ø ø ø í à á " í á ø ï " " $ $ " " " & 5 ï &) $ ï) & & & ï ï ï ï 0 $ D 5 5 A D & $ 0 0 ï D $ # 1 6 (9-9 C 9 %-+ C 0 I + * + : 6 6-D L +. : 6 N 6 ; í ø á í á á á ø ø ø ø $ " ï " ï 0 " " $ " L % ! 9 (8 ø) á ø á ø ø á ø $ ð " & ï 9 * ; , ; 3 % % H N 9 ø ø í í ø í í á ø í ø ø í í á á ï $ ï & ï $ ï $ å ü $ $ ï ð å 9-4 B 3 B : : ; % % % 9 + L 3 H L * (! (6 H ø ø í ø í ø à á í " " ø ø ø á à á í " ø " ï $ $ ï ï " " ï " 9 3 ! ! ! + , : C (D + 9. 6 9 % 9-% ø á í á í ø ø ø ï " ï ý ñ & C # (6 9 9 ' 9 ! ' 8 " í ø ø ø í á í í à á ñ ñ " ï ï $ ï ï …